#!/bin/bash

  for file in *.tex
  do
    echo "rename in file $file"
    sed -e "s@DOC_BINARY_DIR1@/@DOC_INSTALL_DIR1@/g" < $file > $file.new
    mv $file.new $file
  done

  for file in *
  do 
    if [ -d $file ] ; then
       echo "Rename in directory $file"
       ( cd $file; @DOC_INSTALL_DIR@/rename.sh )
    fi
  done

